Search results for "Executable code exchange"

showing 3 items of 3 documents

Interoperable real-time symbolic programming for smart environments

2019

Smart environments demand novel paradigms offering easy configuration, programming and deployment of pervasive applications. To this purpose, different solutions have been proposed ranging from visual paradigms based on mashups to formal languages. However, most of the paradigms proposed in the literature require further external tools to turn application description code into an executable program before the deployment on target devices. Source code generation, runtime upgrades and recovery, and online debugging and inspection are often cumbersome in these programming environments. In this work we describe a methodology for real-time and on-line programming in smart environments that is co…

0209 industrial biotechnologySource codeComputer sciencemedia_common.quotation_subjectDistributed computingExecutable code exchangeForth02 engineering and technologyKnowledge base020901 industrial engineering & automationApplication domain020204 information systems0202 electrical engineering electronic engineering information engineeringSymbolic processingMQTTmedia_commonMQTTSettore ING-INF/05 - Sistemi Di Elaborazione Delle InformazioniSymbolic programmingcomputer.file_formatResource-constrained deviceDebuggingSmart environmentExecutableMessage queuecomputer
researchProduct

Verification of Symbolic Distributed Protocols for Networked Embedded Devices

2020

The availability of versatile and interconnected embedded devices makes it possible to build low-cost networks with a large number of nodes running even complex applications and protocols in a distributed manner. Common tools used for modeling and verification, such as simulators, present some limitations as application correctness is checked off-board and only focuses on source code. Execution in the real network is thus excluded from the early stages of design and verification. In this paper, a system for modeling and verification of symbolic distributed protocols running on embedded devices is introduced. The underlying methodology is rooted in a symbolic programming paradigm that makes …

Settore ING-INF/05 - Sistemi Di Elaborazione Delle InformazioniSymbolic programmingExecutable Code ExchangeSource codeCorrectnessbusiness.industryComputer scienceDistributed protocolSymbolic programmingmedia_common.quotation_subject020208 electrical & electronic engineering02 engineering and technologyResource (project management)Embedded system0202 electrical engineering electronic engineering information engineeringResource-constrained Device020201 artificial intelligence & image processingEmbedded SystemModeling and verificationDistributed applicationbusinessProtocol (object-oriented programming)media_commonAbstraction (linguistics)
researchProduct

A Lightweight Network Discovery Algorithm for Resource-constrained IoT Devices

2019

Although quite simple, existing protocols for the IoT suffer from the inflexibility of centralized infrastructures and require several configuration stages. The implementation of these protocols is often prohibitive on resource-constrained devices. In this work, we propose a distributed lightweight implementation of network discovery for simple IoT devices. Our approach is based on the exchange of symbolic executable code among nodes. Based on this abstraction, we propose an algorithm that makes even IoT resource-constrained nodes able to construct the network topology graph incrementally and without any a priori information about device positioning and presence. The minimal set of executab…

Topology constructionSIMPLE (military communications protocol)Computer scienceExecutable code exchangeResource-constrained devicecomputer.file_formatConstruct (python library)Network topologyDistributed processingSet (abstract data type)Computer Networks and CommunicationHardware and ArchitectureA priori and a posterioriGraph (abstract data type)Symbolic processingExecutableInternet of ThingAlgorithmcomputerSoftwareAbstraction (linguistics)2019 International Conference on Computing, Networking and Communications (ICNC)
researchProduct